1. Identity statement | |
Reference Type | Journal Article |
Site | mtc-m21d.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W34T/4A644LE |
Repository | sid.inpe.br/mtc-m21d/2023/11.03.18.02 (restricted access) |
Last Update | 2023:11.03.18.02.01 (UTC) simone |
Metadata Repository | sid.inpe.br/mtc-m21d/2023/11.03.18.02.01 |
Metadata Last Update | 2024:05.13.16.23.21 (UTC) simone |
DOI | 10.1109/TLA.2023.10244230 |
ISSN | 1548-0992 |
Citation Key | BurgareliArBuAbMeFe:2023:SoArRe |
Title | Software Architecture for Redundant Computing Platform Embedded in Space Vehicles |
Year | 2023 |
Month | July |
Access Date | 2024, May 18 |
Type of Work | journal article |
Secondary Type | PRE PI |
Number of Files | 1 |
Size | 1994 KiB |
|
2. Context | |
Author | 1 Burgareli, Luciana 2 Arai, Nanci 3 Busquim, Rovedy 4 Abdala, Martha Adriana Dias 5 Melnikoff, Selma 6 Ferreira, Maurício Gonçalves Vieira |
Resume Identifier | 1 2 3 4 5 6 8JMKD3MGP5W/3C9JHT8 |
Group | 1 2 3 4 5 6 CORCR-CGIP-INPE-MCTI-GOV-BR |
Affiliation | 1 Instituto de Aeronáutica e Espaço (IAE) 2 Instituto de Aeronáutica e Espaço (IAE) 3 Instituto de Aeronáutica e Espaço (IAE) 4 Instituto de Aeronáutica e Espaço (IAE) 5 Universidade de São Paulo (USP) 6 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 lucianalab1@fab.mil.br 2 nancinna@fab.mil.br 3 rovedyrabs@fab.mil.br 4 martha.abdala@gmail.com 5 selma.melnikoff@usp.br 6 mauricio.ferreira@inpe.br |
Journal | IEEE Latin America Transactions |
Volume | 21 |
Number | 7 |
Pages | 775-782 |
Secondary Mark | A2_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO B1_MATERIAIS B1_INTERDISCIPLINAR B1_ENGENHARIAS_III B1_ENGENHARIAS_I B1_CIÊNCIAS_AGRÁRIAS_I B2_ENGENHARIAS_IV B2_EDUCAÇÃO B2_BIODIVERSIDADE B2_ARQUITETURA_E_URBANISMO B3_SAÚDE_COLETIVA B3_MEDICINA_II B3_MEDICINA_I B4_ENGENHARIAS_II B4_BIOTECNOLOGIA B5_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA B5_ENSINO B5_CIÊNCIAS_BIOLÓGICAS_III B5_CIÊNCIAS_BIOLÓGICAS_I B5_CIÊNCIA_DA_COMPUTAÇÃO B5_ASTRONOMIA_/_FÍSICA |
History (UTC) | 2023-11-03 18:02:01 :: simone -> administrator :: 2023-11-03 18:02:03 :: administrator -> simone :: 2023 2023-11-03 18:02:37 :: simone -> administrator :: 2023 2024-01-02 17:16:52 :: administrator -> simone :: 2023 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Keywords | Embedded software software architecture software system |
Abstract | Embedded software in space systems is critical and requires a well-defined and documented development process in their long life cycle. In this case, the software is part of a larger system that also includes the hardware that the software interacts with. Thus, many of the characteristics that must be considered in the software specification and design are directly related to the hardware components. The system architecture is a formal description of its building blocks, their properties and the interaction between them and is used to analyze characteristics, such as memory consumption, response time, performance, reliability, and safety. From both software and hardware most basic elements such as components and connectors to more complex properties such as behavior, an Architecture Description Language (ADL) is used in order to obtain a more accurate and precise description of the system architecture. This is accomplished by modeling the case study, a critical space software architecture, into a redundant embedded computational platform and analyzing it through the Architecture Analysis and Design Language (AADL). This work contributes to demonstrate that through fault analyses, AADL models can help to predict if restrictions, such as safety, will be fulfilled before the system construction. |
Area | ETES |
Arrangement | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > Software Architecture for... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
Language | en |
Target File | Software_Architecture_for_Redundant_Computing_Platform_Embedded_in_Space_Vehicles.pdf |
User Group | simone |
Reader Group | administrator simone |
Visibility | shown |
Archiving Policy | denypublisher allowfinaldraft |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Next Higher Units | 8JMKD3MGPCW/46KUES5 |
Citing Item List | sid.inpe.br/mtc-m21/2012/07.13.14.56.30 2 sid.inpe.br/bibdigital/2022/04.03.23.11 2 |
Dissemination | WEBSCI; PORTALCAPES; IEEEXplore; SCOPUS. |
Host Collection | urlib.net/www/2021/06.04.03.40 |
|
6. Notes | |
Empty Fields | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|